منابع مشابه
Normal and Sinkless Petri Nets
We examine both the modeling power of normal and sinkless Petri nets and the computational complexities of various classical decision problems with respect to these two classes. We argue that although neither normal nor sinkless Petri nets are strictly more powerful than persistent Petri nets, they nonetheless are both capable of modeling a more interesting class of problems. On the other hand,...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملPetri nets
P e t r i n e t s of fer a v e r s a t i l e m o d e l i n g f r a m e w o r k for c o m p l e x , d i s t r i b u t e d , c o n c u r r e n t s y s t e m s a n d h a v e b e e n u s e d in a w i d e r a n g e o f m o d e l i n g a p p l i c a t i o n s . T h e f i r s t p a r t o f t h i s t w o p a r t a r t i c l e p r o v i d e s a n o v e r v i e w o f P e t r i n e t s a n d p r e s e n t...
متن کاملPetri Nets
Petri nets were introduced in 1962 by Dr. Carl Adam Petri (Petri 1962). Petri nets are a powerful modeling formalism in computer science, system engineering and many other disciplines. Petri nets combine a well defined mathematical theory with a graphical representation of the dynamic behavior of systems. The theoretic aspect of Petri nets allow precise modeling and analysis of system behavior,...
متن کاملTD 7: Petri Nets 1 Modeling Using Petri Nets
Exercise 2 (Producer/Consumer). A producer/consumer system gathers two types of processes: producers who can make the actions produce (p) or deliver (d), and consumers with the actions receive (r) and consume (c). All the producers and consumers communicate through a single unordered channel. 1. Model a producer/consumer system with two producers and three consumers. How can you modify this sys...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1984
ISSN: 0304-3975
DOI: 10.1016/0304-3975(84)90038-0